Cerný, Pavol: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Advanced Computational Methods for Agriculture Machinery Movement Optimization with Applications in Sugarcane Production

Filip, Martin, Zoubek, Tomas, Bumbalek, Roman, Cerny, Pavel, Batista, Carlos E., Olsan, Pavel, Bartos, Petr, Kriz, Pavel, Xiao, Maohua, Dolan, Antonin, Findura, Pavol

Journal:

Agriculture (MDPI)

Year:

2020

File:

PDF, 2.62 MB

2020

2

A Singular Differential Equation Stemming from an Optimal Control Problem in Financial Economics

Pavol Brunovský, Aleš Černý, Michael Winkler

Journal:

Applied Mathematics & Optimization

Year:

2013

Language:

english

File:

PDF, 690 KB

english, 2013

3

[ACM Press the 24th ACM SIGPLAN conference - Orlando, Florida, USA (2009.10.25-2009.10.29)] Proceeding of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA 09 - Parallel programming with object assemblies

Lublinerman, Roberto, Chaudhuri, Swarat, Cerny, Pavol

Year:

2009

Language:

english

File:

PDF, 1.29 MB

english, 2009

4

Algorithmic analysis of array-accessing programs

Alur, Rajeev, Černý, Pavol, Weinstein, Scott

Journal:

ACM Transactions on Computational Logic

Year:

2012

Language:

english

File:

PDF, 340 KB

english, 2012

5

Erratum to: A Singular Differential Equation Stemming from an Optimal Control Problem in Financial Economics

Brunovský, Pavol, Černý, Aleš, Winkler, Michael

Journal:

Applied Mathematics & Optimization

Year:

2017

Language:

english

File:

PDF, 291 KB

english, 2017

6

Anti-MHC immunity detected prior to intentional alloimmunization

Radka Černý-Provazník, Peter Mourik, Jacqueline Limpens, Tine Leupers, Pavol Iványi

Journal:

Year:

1985

Language:

english

File:

PDF, 908 KB

english, 1985

7

Simulation distances

Pavol Černý, Thomas A. Henzinger, Arjun Radhakrishna

Journal:

Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 489 KB

english, 2012

8

Natural autoreactive H-2-specific serum antibodies in a group of BALB/cBy (H-2d) mice

Radka ČErný-Provaznik, Tinie Kloosterman, Door Verkerk, Thea M. Vroom, Pavol Iványi

Journal:

Tissue Antigens

Year:

1986

Language:

english

File:

PDF, 315 KB

english, 1986

9

[IEEE 2011 IEEE 24th Computer Security Foundations Symposium (CSF) - Cernay-la-Ville, France (2011.06.27-2011.06.29)] 2011 IEEE 24th Computer Security Foundations Symposium - The Complexity of Quantitative Information Flow Problems

Cerný, Pavol, Chatterjee, Krishnendu, Henzinger, Thomas A.

Year:

2011

Language:

english

File:

PDF, 391 KB

english, 2011

10

[ACM Press the tenth ACM international conference - Tampere, Finland (2012.10.07-2012.10.12)] Proceedings of the tenth ACM international conference on Embedded software - EMSOFT '12 - Synthesis from incompatible specifications

Černý, Pavol, Gopi, Sivakanth, Henzinger, Thomas A., Radhakrishna, Arjun, Totla, Nishant

Year:

2012

Language:

english

File:

PDF, 638 KB

english, 2012

11

[ACM Press the 38th annual ACM SIGPLAN-SIGACT symposium - Austin, Texas, USA (2011.01.26-2011.01.28)] Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '11 - Streaming transducers for algorithmic verification of single-pass list-processing programs

Alur, Rajeev, Černý, Pavol

Year:

2011

Language:

english

File:

PDF, 435 KB

english, 2011

12

Interface simulation distances

Černý, Pavol, Chmelík, Martin, Henzinger, Thomas A., Radhakrishna, Arjun

Journal:

Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 572 KB

english, 2014

13

[ACM Press the ninth ACM international conference - Taipei, Taiwan (2011.10.09-2011.10.14)] Proceedings of the ninth ACM international conference on Embedded software - EMSOFT '11 - From boolean to quantitative synthesis

Černý, Pavol, Henzinger, Thomas A.

Year:

2011

Language:

english

File:

PDF, 553 KB

english, 2011

14

[ACM Press the 36th ACM SIGPLAN Conference - Portland, OR, USA (2015.06.13-2015.06.17)] Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2015 - Efficient synthesis of network updates

McClurg, Jedidiah, Hojjat, Hossein, Černý, Pavol, Foster, Nate

Year:

2015

Language:

english

File:

PDF, 509 KB

english, 2015

15

[ACM Press the 2nd ACM SIGPLAN International Workshop - Portland, OR, USA (2015.06.13-2015.06.13)] Proceedings of the 2nd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming - ARRAY 2015 - Performance search engine driven by prior knowledge of optimization

Kim, Youngsung, Černý, Pavol, Dennis, John

Year:

2015

Language:

english

File:

PDF, 1.18 MB

english, 2015

16

[ACM Press the 40th annual ACM SIGPLAN-SIGACT symposium - Rome, Italy (2013.01.23-2013.01.25)] Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '13 - Quantitative abstraction refinement

Cerny, Pavol, Henzinger, Thomas A., Radhakrishna, Arjun

Year:

2013

Language:

english

File:

PDF, 763 KB

english, 2013

17

Streaming transducers for algorithmic verification of single-pass list-processing programs

Alur, Rajeev, Černý, Pavol

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 435 KB

english, 2011

18

Quantitative abstraction refinement

Cerny, Pavol, Henzinger, Thomas A., Radhakrishna, Arjun

Journal:

ACM SIGPLAN Notices

Year:

2013

Language:

english

File:

PDF, 763 KB

english, 2013

19

From non-preemptive to preemptive scheduling using synchronization synthesis

Pavol Černý,Edmund M. Clarke,Thomas A. Henzinger…

Journal:

Formal Methods in System Design

Year:

2017

Language:

english

File:

PDF, 1.32 MB

english, 2017

20

Optimal trade execution under endogenous pressure to liquidate: Theory and numerical solutions

Brunovský, Pavol, Černý, Aleš, Komadel, Ján

Journal:

European Journal of Operational Research

Year:

2017

Language:

english

File:

PDF, 1.76 MB

english, 2017

21

[IEEE 2016 Formal Methods in Computer-Aided Design (FMCAD) - Mountain View, CA, USA (2016.10.3-2016.10.6)] 2016 Formal Methods in Computer-Aided Design (FMCAD) - Program synthesis for networks

Year:

2016

Language:

english

File:

PDF, 44 KB

english, 2016

22

[IEEE 2016 Formal Methods in Computer-Aided Design (FMCAD) - Mountain View, CA, USA (2016.10.3-2016.10.6)] 2016 Formal Methods in Computer-Aided Design (FMCAD) - Optimizing horn solvers for network repair

Hojjat, Hossein, Rummer, Philipp, McClurg, Jedidiah, Cerny, Pavol, Foster, Nate

Year:

2016

Language:

english

File:

PDF, 201 KB

english, 2016

23

[ACM Press the 40th International Conference - Gothenburg, Sweden (2018.05.27-2018.06.03)] Proceedings of the 40th International Conference on Software Engineering - ICSE '18 - D roid S tar

Radhakrishna, Arjun, Lewchenko, Nicholas V., Meier, Shawn, Mover, Sergio, Sripada, Krishna Chaitanya, Zufferey, Damien, Chang, Bor-Yuh Evan, Černý, Pavol

Year:

2018

Language:

english

File:

PDF, 213 KB

english, 2018

24

Sequential programming for replicated data stores

Lewchenko, Nicholas V., Radhakrishna, Arjun, Gaonkar, Akash, Černý, Pavol

Journal:

Proceedings of the ACM on Programming Languages

Year:

2019

Language:

english

File:

PDF, 494 KB

english, 2019